归纳序集 ordered set: 有序集合angeordnete menge ordered set: 有序集continuous ordered set: 连续有序集dense linearly ordered set: 密的线性序集half-ordered set: 半序集下载手机词典可随时随地查词查翻译